Method for minimization of SUBTRACTION-XOR and DIVISION-COINCIDENCE expansions of logic functions with fixed polarity

• 逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法